Trusted system

Results: 509



#Item
81Embedded Linux / Smartphones / Java platform / Android / Type system / Apache Ant / Java / Software / Computing / Cross-platform software

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionApril 2015) Contents

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2015-04-24 14:10:02
82Trusted computing / Microkernel / Security / Trusted computing base / Kernel / Trusted path / L4 microkernel family / Next-Generation Secure Computing Base / Ring / Computer security / Computer architecture / System software

To be published in Proceedings of the 11th ACM SIGOPS European Workshop, Leuven, Belgium, 2004 Reducing TCB size by using untrusted components — small kernels versus virtual-machine monitors Michael Hohmuth

Add to Reading List

Source URL: www.eros-os.org

Language: English - Date: 2005-10-18 08:59:18
83Embedded Linux / Smartphones / Java platform / Android / Type system / Apache Ant / Java / Software / Computing / Cross-platform software

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovember 2014) Contents

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2014-11-14 19:27:33
84Android / Information flow / Type system / Apache Ant / Java / Static single assignment form / NME / Annotation / Software / Computing / Cross-platform software

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionMayDo not distribute.

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2013-05-01 12:50:57
85Trusted computing / Solaris Containers / Solaris / Trusted Platform Module / Trusted Execution Technology / DTrace / Virtual machine / Operating system / Ring / System software / Software / Computer security

Trusted Virtual Containers on Demand Katelin A. Bailey † ∗

Add to Reading List

Source URL: www.cs.dartmouth.edu

Language: English - Date: 2010-11-08 12:53:06
86Ethics / Cryptography / Business law / Copyright law / Trusted Platform Module / Integrity / Data integrity / Kernel / SPARK / Computing / Computer security / Trusted computing

Remote Attestation to Dynamic System Properties: Towards Providing Complete System Integrity Evidence ∗ † Chongkyung Kil§, Emre C. Sezer§, Ahmed M. Azab§, Peng Ning§, Xiaolan Zhang†† †† §

Add to Reading List

Source URL: discovery.csc.ncsu.edu

Language: English - Date: 2011-11-09 13:26:05
87Embedded Linux / Smartphones / Android / Type system / Apache Ant / Information flow / Java / Software / Computing / Cross-platform software

SPARTA! Static Program Analysis for Reliable Trusted Apps http://types.cs.washington.edu/sparta/ VersionNovemberDo not distribute.

Add to Reading List

Source URL: types.cs.washington.edu

Language: English - Date: 2013-11-19 17:41:03
88System software / Software / Webroot Internet Security Complete / Webroot Internet Security Essentials / Webroot Software / Computer security / Antivirus software

WEBROOT CUSTOMER CASE STUDY FancyFon Takes the Complexity out of Protecting Enterprise Mobile Devices with Webroot Background FancyFon is a trusted mobility management provider for the enterprise, which helps businesses

Add to Reading List

Source URL: www.fancyfon.com

Language: English - Date: 2014-12-03 05:21:09
89Computer security / ESET / Panda Pro / Hitman Pro / Antivirus software / System software / Software

2014 EDITION Stay a Safe Distance from Internet Threats Enjoy safer online browsing and offline activities with a detection technology trusted by millions of users around the world. It eliminates all types of threats,

Add to Reading List

Source URL: static3.esetstatic.com

Language: English - Date: 2013-10-16 09:17:56
90Centralized computing / Desktop virtualization / Computer network security / Thin client / Load balancing / Sun Secure Global Desktop / Computer network / Computing / Remote desktop / System software

Trusted Thin Client® Distribution Console Spanning Expanding secure multilevel access to geographically separate enterprise data centers. Trusted Thin Client® from Raytheon is an accredited

Add to Reading List

Source URL: www.raytheoncyber.com

Language: English - Date: 2015-04-19 23:42:34
UPDATE